PSL Research University - PDFSEARCH.IO - Document Search Engine

PSL Research University
Results: 56

#	Item
41	COLOR CORRECTION THROUGH REGION MATCHING LEVERAGED BY POINT CORRESPONDENCES Dieu-Sang Ly, Serge Beucher and Michel Bilodeau MINES ParisTech, PSL - Research University, CMM - Centre for mathematical morphology 35 rue St H Add to Reading List Source URL: cmm.ensmp.fr Language: English - Date: 2014-11-21 03:53:17 Imaging Color mapping Segmentation Object recognition Histogram matching RGB color model Watershed Image gradient Grayscale Image processing Vision Optics
42	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:36 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
43	Call for Projects for the Funding of New Research Teams Add to Reading List Source URL: www.univ-psl.fr Language: English - Date: 2015-04-08 05:07:01 5th arrondissement of Paris University of Paris
44	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-03-19 06:05:38 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
45	FEEVER Mee(ng – October 13,2014 Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-10-14 15:49:58 Software engineering Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Diophantine equation Function Type theory Data types Mathematics
46	PariS ScienceS & LettreS Sapere Aude PSL, a federaL “reSearch Add to Reading List Source URL: www.univ-psl.fr Language: English - Date: 2015-04-17 06:05:04 ParisTech Paris Dauphine University Pierre-Gilles de Gennes PSL* Grandes écoles Paris Institute of Technology France Academia
47	Des r´eels aux flottants : pr´eservation automatique de preuves de stabilit´e de Lyapunov Olivier Hermant et Vivien Maisonneuve CRI, MINES ParisTech, PSL Research University Abstract Add to Reading List Source URL: www.cri.ensmp.fr Language: French - Date: 2015-04-02 09:27:19
48	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:51:53 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
49	Verifying Faust in Coq Progress report Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant, Arnaud Spiwack MINES ParisTech, PSL Research University, France Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-21 07:20:49 IRCAM Folklore Music Culture Audio programming languages FAUST Mephisto
50	Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 10:48:46 Models of computation Programming paradigms Massively parallel processor array Dataflow architecture Dataflow programming Multi-core processor Dataflow Very long instruction word Directed acyclic graph Computing Parallel computing Computer architecture

UPDATE